Viktor Vafeiadis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Proving Lock-Freedom Easily and Automatically

Jia, Xiao, Li, Wei, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 554 KB

english, 2015

2

Concurrent Separation Logic and Operational Semantics

Viktor Vafeiadis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 294 KB

english, 2011

3

Acute: High-level programming language design for distributed computation

SEWELL, PETER, LEIFER, JAMES J., WANSBROUGH, KEITH, NARDELLI, FRANCESCO ZAPPA, ALLEN-WILLIAMS, MAIR, HABOUZIT, PIERRE, VAFEIADIS, VIKTOR

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 734 KB

english, 2007

4

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Separation Logic in the Presence of Garbage Collection

Hur, Chung-Kil, Dreyer, Derek, Vafeiadis, Viktor

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

5

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism

Zengin, Mustafa, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 244 KB

english, 2013

6

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Proving that non-blocking algorithms don't block

Gotsman, Alexey, Cook, Byron, Parkinson, Matthew, Vafeiadis, Viktor

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

7

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

8

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - A formal C memory model supporting integer-pointer casts

Kang, Jeehoon, Hur, Chung-Kil, Mansky, William, Garbuzov, Dmitri, Zdancewic, Steve, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

9

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

10

Relaxed-memory concurrency and verified compilation

Ŝevčik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 510 KB

english, 2011

11

[ACM Press the eleventh ACM SIGPLAN symposium - New York, New York, USA (2006.03.29-2006.03.31)] Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '06 - Proving correctness of highly-concurrent linearisable objects

Vafeiadis, Viktor, Herlihy, Maurice, Hoare, Tony, Shapiro, Marc

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

12

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

13

[ACM Press the 2013 ACM SIGPLAN international conference - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13 - Relaxed separation logic

Vafeiadis, Viktor, Narayan, Chinmay

Year:

2013

Language:

english

File:

PDF, 827 KB

english, 2013

14

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Relaxed-memory concurrency and verified compilation

Ŝevčik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Year:

2011

Language:

english

File:

PDF, 510 KB

english, 2011

15

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - GPS

Turon, Aaron, Vafeiadis, Viktor, Dreyer, Derek

Year:

2014

Language:

english

File:

PDF, 836 KB

english, 2014

16

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - The marriage of bisimulations and Kripke logical relations

Hur, Chung-Kil, Dreyer, Derek, Neis, Georg, Vafeiadis, Viktor

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

17

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Verifying read-copy-update in a logic for weak memory

Tassarotti, Joseph, Dreyer, Derek, Vafeiadis, Viktor

Year:

2015

Language:

english

File:

PDF, 474 KB

english, 2015

18

CompCertTSO

Ševčík, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter

Journal:

Journal of the ACM

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

19

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - The power of parameterization in coinductive proof

Hur, Chung-Kil, Neis, Georg, Dreyer, Derek, Vafeiadis, Viktor

Year:

2013

Language:

english

File:

PDF, 696 KB

english, 2013

20

Structuring the verification of heap-manipulating programs

Nanevski, Aleksandar, Vafeiadis, Viktor, Berdine, Josh

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

21

[ACM Press the 2016 International Symposium - Barcelona, Spain (2016.03.12-2016.03.18)] Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016 - Validating optimizations of concurrent C/C++ programs

Chakraborty, Soham, Vafeiadis, Viktor

Year:

2016

Language:

english

File:

PDF, 543 KB

english, 2016

22

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Reasoning about Fences and Relaxed Atomics

He, Mengda, Vafeiadis, Viktor, Qin, Shengchao, Ferreira, Joao F.

Year:

2016

Language:

english

File:

PDF, 257 KB

english, 2016

23

Mtac: A monad for typed tactic programming in Coq

ZILIANI, BETA, DREYER, DEREK, KRISHNASWAMI, NEELAKANTAN R., NANEVSKI, ALEKSANDAR, VAFEIADIS, VIKTOR

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 1.67 MB

english, 2015

24

Acute

Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 190 KB

english, 2005

25

Relaxed separation logic

Vafeiadis, Viktor, Narayan, Chinmay

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 827 KB

english, 2013

26

Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

27

The marriage of bisimulations and Kripke logical relations

Hur, Chung-Kil, Dreyer, Derek, Neis, Georg, Vafeiadis, Viktor

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

28

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

29

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - A promising semantics for relaxed-memory concurrency

Kang, Jeehoon, Hur, Chung-Kil, Lahav, Ori, Vafeiadis, Viktor, Dreyer, Derek

Year:

2017

Language:

english

File:

PDF, 368 KB

english, 2017

30

[IEEE 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Austin, TX, USA (2017.2.4-2017.2.8)] 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Formalizing the concurrency semantics of an LLVM fragment

Chakraborty, Soham, Vafeiadis, Viktor

Year:

2017

Language:

english

File:

PDF, 410 KB

english, 2017

31

GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics

He, Mengda, Vafeiadis, Viktor, Qin, Shengchao, Ferreira, João F.

Journal:

International Journal of Parallel Programming

Year:

2017

Language:

english

File:

PDF, 1.65 MB

english, 2017

32

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Model checking for weakly consistent libraries

Kokologiannakis, Michalis, Raad, Azalea, Vafeiadis, Viktor

Year:

2019

Language:

english

File:

PDF, 431 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски